Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
91	Efficient Device-Independent Quantum Key Distribution⋆ Esther H¨ anggi1 , Renato Renner2 , and Stefan Wolf1 1 2 Add to Reading List Source URL: cqi.inf.usi.ch Language: English - Date: 2013-02-20 10:42:48 Quantum information science Physics Quantum mechanics Theoretical computer science Mathematics Mereology Quantum entanglement Quantum key distribution Limit of a function Information theory Uncertainty principle
92	arXiv:1505.04514v1 [cs.DC] 18 MayA Local Broadcast Layer for the SINR Network Model Magn´ us M. Halld´orsson∗ Add to Reading List Source URL: arxiv.org Language: English - Date: 2015-05-18 20:53:11 Computational complexity theory Mathematics Graph theory Theoretical computer science Maximal independent set Signal-to-interference-plus-noise ratio Time complexity Algorithm
93	In Cabernet Radicals Workshop, October 2002 http://www.wischik.com/lu/research/ New directions in implementing the pi calculus Lucian Wischik, University of Bologna 30th August 2002 Add to Reading List Source URL: www.wischik.com Language: English - Date: 2002-10-02 04:22:36 Process calculi Theoretical computer science Mathematics Software engineering Formal methods -calculus Join-calculus Lambda calculus Ambient calculus Inverse trigonometric functions Calculus Join-pattern
94	Second International Conference on Multiagent SystemsDistributed Breakout Algorithm for Solving Distributed Constraint Satisfaction Problems Makoto Yokoo Add to Reading List Source URL: agent.inf.kyushu-u.ac.jp Language: English - Date: 2016-07-21 01:26:16 Constraint programming Mathematics Constraint satisfaction problem Constraint satisfaction Algorithm Shortest path problem Theoretical computer science Min-conflicts algorithm Distributed constraint optimization
95	Invited Talks 17 Stefan Heinrich FB Informatik, Geb Add to Reading List Source URL: mcm2001.sbg.ac.at Language: English - Date: 2001-09-18 09:11:38 Chemistry Physics Quantum mechanics Quantum chemistry Emerging technologies Quantum computing Theoretical computer science Computational physics Monte Carlo method Quantum dot Quantum algorithm HartreeFock method
96	Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song∗ Carnegie Mellon University Pittsburgh, PA, USA {jnewsome, Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Theoretical computer science Formal methods Edsger W. Dijkstra Predicate transformer semantics Complexity classes KeY IP NP PP Algorithm
97	COURSES IN ENGLISH AT THE FACULTY OF MATHEMATICS AND COMPUTER SCIENCE UNIVERSITY OF LODZ WINTER SEMESTER Add to Reading List Source URL: erasmus.math.uni.lodz.pl Language: English - Date: 2016-04-13 07:07:15 Engineering Academia Science and technology Algorithm Mathematical logic Theoretical computer science Computer science Programming language Artificial neural network Analysis Outline of computer science Shaikh College of Engineering and Technology
98	Reasoning about XML Update Constraints∗ Bogdan Cautis Serge Abiteboul INRIA Futurs & U. Paris Sud Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2008-11-27 11:37:38 Constraint programming XPath FO XML tree Computing Software engineering Theoretical computer science Decomposition method Local consistency
99	A brief introduction to Higher Order Logic and the HOL proof assistant Monica Nesi Add to Reading List Source URL: www.di.univaq.it Language: English - Date: 2011-02-08 09:50:34 Mathematical logic Software engineering Theoretical computer science Type theory Computability theory Logic in computer science Proof assistants Logic for Computable Functions HOL Lambda calculus Primitive recursive function Recursion
100	Steve Warner Curriculum Vitae Department of Mathematics Hofstra University Hempstead, NY 11549 Add to Reading List Source URL: satprepget800.com Language: English - Date: 2016-06-13 13:02:27 Mathematical logic Logic Computability theory Theory of computation Proof theory Hierarchy Lambda calculus Theoretical computer science Consistency Propositional calculus Calculus Arithmetical hierarchy